Revisiting sequential composition in process calculi
نویسندگان
چکیده
منابع مشابه
Weak Sequential Composition in Process Algebras
In this paper we study a special operator for sequential compo sition which is de ned relative to a dependency relation over the actions of a given system The idea is that actions which are not dependent intuitively because they share no common resources do not have to wait for one another to proceed even if they are composed sequentially Such a notion has been studied before in a linear time s...
متن کاملStates in Process Calculi
Formal reasoning about distributed algorithms (like Consensus) typically requires to analyze global states in a traditional state-based style. This is in contrast to the traditional action-based reasoning of process calculi. Nevertheless, we use domain-specific variants of the latter, as they are convenient modeling languages in which the local code of processes can be programmed explicitly, wi...
متن کاملResponsiveness in Process Calculi
In a process calculus, an agent guarantees responsive usage of a channel name r if a communication along r is guaranteed to eventually take place. Responsiveness is important, for instance, to ensure that any request to a service be eventually replied. We propose two distinct type systems, each of which statically guarantees responsive usage of names in well-typed pi-calculus processes. In the ...
متن کاملReversing Algebraic Process Calculi
Reversible computation has a growing number of promising application areas such as the modelling of biochemical systems, program debugging and testing, and even programming languages for quantum computing. We formulate a procedure for converting operators of standard algebraic process calculi such as CCS, ACP and CSP into reversible operators, while preserving their operational semantics.
متن کاملRevisiting Cardiac Cellular Composition.
RATIONALE Accurate knowledge of the cellular composition of the heart is essential to fully understand the changes that occur during pathogenesis and to devise strategies for tissue engineering and regeneration. OBJECTIVE To examine the relative frequency of cardiac endothelial cells, hematopoietic-derived cells, and fibroblasts in the mouse and human heart. METHODS AND RESULTS Using a comb...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Logical and Algebraic Methods in Programming
سال: 2015
ISSN: 2352-2208
DOI: 10.1016/j.jlamp.2015.08.001